home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT2.SPK / test / test_a / lcl / glob < prev    next >
Text File  |  1996-08-28  |  168b  |  17 lines
  1. int x, y, z;
  2.  
  3. int useGlob (int a) int x, y, z; 
  4. {
  5.    ensures true;
  6. }
  7.  
  8. int dontuseGlob (int a)
  9. {
  10.    ensures true;
  11. }
  12.  
  13. int callsUseGlob (int a) int x;
  14. {
  15.   ensures true;
  16. }
  17.